<html>
<head><meta charset="utf-8"><title>issue-52078-implied-bounds · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html">issue-52078-implied-bounds</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="129873207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129873207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129873207">(Jul 18 2018 at 14:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> did you want to talk about this issue at some point?</p>



<a name="129873277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129873277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129873277">(Jul 18 2018 at 14:03)</a>:</h4>
<p>sure :)</p>



<a name="129873598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129873598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129873598">(Jul 18 2018 at 14:08)</a>:</h4>
<p>ok so the thing I would want to do to debug this....</p>



<a name="129873712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129873712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129873712">(Jul 18 2018 at 14:10)</a>:</h4>
<p>to start, I would enable <code>RUST_LOG=rustc_mir::borrow_check</code> and look for the output from <a href="https://github.com/rust-lang/rust/blob/29ee65411c46b8f701bd1f241725092cb1b347e6/src/librustc_mir/borrow_check/nll/universal_regions.rs#L711-L716" target="_blank" title="https://github.com/rust-lang/rust/blob/29ee65411c46b8f701bd1f241725092cb1b347e6/src/librustc_mir/borrow_check/nll/universal_regions.rs#L711-L716">the <code>add_implied_bounds</code> function</a></p>



<a name="129874090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129874090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129874090">(Jul 18 2018 at 14:17)</a>:</h4>
<p>ok I'll do that as soon as my build completes, somehow debug assertions got turned off in this build, sad trombone</p>



<a name="129875635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875635">(Jul 18 2018 at 14:42)</a>:</h4>
<p>it's mostly</p>
<div class="codehilite"><pre><span></span>DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=&amp;mut &lt;Drain&lt;&#39;_, T&gt; as Join&gt;::Value
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=&amp;mut &lt;Drain&lt;&#39;_, T&gt; as Join&gt;::Value)
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubRegion(&#39;_#2r, &#39;_#4r))
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: relate_universal_regions: fr_a=&#39;_#4r outlives fr_b=&#39;_#2r
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubParam(&#39;_#2r, T/#1))
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: add_outlives_bounds(bound=RegionSubParam(&#39;_#1r, T/#1))
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=()
DEBUG 2018-07-18T14:39:00Z: rustc_mir::borrow_check::nll::universal_regions: add_implied_bounds(ty=())
</pre></div>



<a name="129875683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875683">(Jul 18 2018 at 14:43)</a>:</h4>
<p>hmm</p>



<a name="129875697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875697">(Jul 18 2018 at 14:43)</a>:</h4>
<p>try with <code>-Zverbose</code></p>



<a name="129875705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875705">(Jul 18 2018 at 14:43)</a>:</h4>
<p>and then the relate_universal_regions (which reminds me of something I was in Polonius, that we generate regions outliving themselves, I don't know if it's that big of a problem)</p>



<a name="129875706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875706">(Jul 18 2018 at 14:43)</a>:</h4>
<p>still, <code> add_outlives_bounds(bound=RegionSubRegion('_#2r, '_#4r)) </code> looks relevant</p>



<a name="129875763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875763">(Jul 18 2018 at 14:44)</a>:</h4>
<p>can you gist the full output somewhere?</p>



<a name="129875782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875782">(Jul 18 2018 at 14:44)</a>:</h4>
<p><a href="https://gist.github.com/lqd/dfda486e0d99b53d828bf3c1673d73b5" target="_blank" title="https://gist.github.com/lqd/dfda486e0d99b53d828bf3c1673d73b5">https://gist.github.com/lqd/dfda486e0d99b53d828bf3c1673d73b5</a></p>



<a name="129875787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875787">(Jul 18 2018 at 14:44)</a>:</h4>
<p>doing the verbose one now</p>



<a name="129875934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875934">(Jul 18 2018 at 14:47)</a>:</h4>
<p>the verbose one looks surprisingly similar <a href="https://gist.github.com/lqd/18f805512135d5873b5c97520202866c" target="_blank" title="https://gist.github.com/lqd/18f805512135d5873b5c97520202866c">https://gist.github.com/lqd/18f805512135d5873b5c97520202866c</a></p>



<a name="129875954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129875954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129875954">(Jul 18 2018 at 14:47)</a>:</h4>
<p>the only difference is that regions don't get printed as <code>'_</code></p>



<a name="129876008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876008">(Jul 18 2018 at 14:48)</a>:</h4>
<p>oh good to know thank you</p>



<a name="129876035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876035">(Jul 18 2018 at 14:48)</a>:</h4>
<p>so what I am looking for here</p>



<a name="129876039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876039">(Jul 18 2018 at 14:48)</a>:</h4>
<p>and, actually, i'm not sure I see</p>



<a name="129876040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876040">(Jul 18 2018 at 14:48)</a>:</h4>
<p>let me back up :)</p>



<a name="129876045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876045">(Jul 18 2018 at 14:48)</a>:</h4>
<p>the way that this code works</p>



<a name="129876052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876052">(Jul 18 2018 at 14:48)</a>:</h4>
<p>is that the <code>universal_regions</code> computes which of the free regions on the function may be related to one another</p>



<a name="129876062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876062">(Jul 18 2018 at 14:49)</a>:</h4>
<p>(as an aside, I want to rename <code>universal_regions</code> back to <code>free_regions</code> at some point)</p>



<a name="129876075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876075">(Jul 18 2018 at 14:49)</a>:</h4>
<p>so e.g. we would wnat to compute here that -- because of an implied bound -- we know that <code>'b: 'a</code> or whatever</p>



<a name="129876089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876089">(Jul 18 2018 at 14:49)</a>:</h4>
<p>in this case I think <code>'a</code> is assigned '_#1r`</p>



<a name="129876102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876102">(Jul 18 2018 at 14:49)</a>:</h4>
<p>as you can see from this line:</p>



<a name="129876103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876103">(Jul 18 2018 at 14:49)</a>:</h4>
<p>yeah</p>



<a name="129876104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876104">(Jul 18 2018 at 14:49)</a>:</h4>
<div class="codehilite"><pre><span></span>DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReEarlyBound(0, &#39;a): &#39;_#1r, ReStatic: &#39;_#0r} }DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: indices=UniversalRegionIndices { indices: {ReEarlyBound(0, &#39;a): &#39;_#1r, ReStatic: &#39;_#0r} }
</pre></div>



<a name="129876150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876150">(Jul 18 2018 at 14:50)</a>:</h4>
<p>and <code>'b</code> is '_#2r`</p>



<a name="129876161"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876161" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876161">(Jul 18 2018 at 14:50)</a>:</h4>
<p>as you can see ultimately from this type:</p>
<div class="codehilite"><pre><span></span>DEBUG 2018-07-18T14:45:19Z: rustc_mir::borrow_check::nll::universal_regions: build: input_or_output=&amp;&#39;_#2r mut &lt;Drain&lt;&#39;_#1r, T&gt; as Join&gt;::Value
</pre></div>



<a name="129876180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876180">(Jul 18 2018 at 14:50)</a>:</h4>
<p><code>&lt;&amp;'_#2r mut &lt;Drain&lt;'_#1r, T&gt; as Join&gt;::Value</code>, that is</p>



<a name="129876194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876194">(Jul 18 2018 at 14:50)</a>:</h4>
<p>so we'd expect to see that <code>'_#1r: '_#2r</code></p>



<a name="129876202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876202">(Jul 18 2018 at 14:51)</a>:</h4>
<p>but i do .. not see that</p>



<a name="129876215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876215">(Jul 18 2018 at 14:51)</a>:</h4>
<p>so that is sort of curious</p>



<a name="129876221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876221">(Jul 18 2018 at 14:51)</a>:</h4>
<p>it would look like an <code>add_outlive_bounds</code> of '_#2r and '_#1r ?</p>



<a name="129876230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876230">(Jul 18 2018 at 14:51)</a>:</h4>
<p>or a relate_universal_regions log ?</p>



<a name="129876231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876231">(Jul 18 2018 at 14:51)</a>:</h4>
<p>yeah, or later on, when we dump the full relations</p>



<a name="129876279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876279">(Jul 18 2018 at 14:52)</a>:</h4>
<p>e.g. here: <a href="https://gist.github.com/lqd/18f805512135d5873b5c97520202866c#file-z-verbose-L19-L34" target="_blank" title="https://gist.github.com/lqd/18f805512135d5873b5c97520202866c#file-z-verbose-L19-L34">https://gist.github.com/lqd/18f805512135d5873b5c97520202866c#file-z-verbose-L19-L34</a></p>



<a name="129876292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876292">(Jul 18 2018 at 14:52)</a>:</h4>
<p>implied outlives bounds are computed by <a href="https://github.com/rust-lang/rust/blob/29ee65411c46b8f701bd1f241725092cb1b347e6/src/librustc/infer/outlives/bounds.rs#L34-L61" target="_blank" title="https://github.com/rust-lang/rust/blob/29ee65411c46b8f701bd1f241725092cb1b347e6/src/librustc/infer/outlives/bounds.rs#L34-L61">this function in <code>infer</code></a></p>



<a name="129876305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876305">(Jul 18 2018 at 14:52)</a>:</h4>
<p>so maybe we should re-run with <code>RUST_LOG=rustc::infer::outlives::bounds</code> as well</p>



<a name="129876308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876308">(Jul 18 2018 at 14:52)</a>:</h4>
<p>(also keep the rustc_mir)</p>



<a name="129876334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876334">(Jul 18 2018 at 14:53)</a>:</h4>
<p>hmm that fn doesn't have as many <code>debug!</code> as I would like</p>



<a name="129876349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876349">(Jul 18 2018 at 14:53)</a>:</h4>
<p>we might want to log <code>rustc::ty::wf</code> too</p>



<a name="129876391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876391">(Jul 18 2018 at 14:54)</a>:</h4>
<p>to get <a href="https://github.com/rust-lang/rust/blob/29ee65411c46b8f701bd1f241725092cb1b347e6/src/librustc/infer/outlives/bounds.rs#L83" target="_blank" title="https://github.com/rust-lang/rust/blob/29ee65411c46b8f701bd1f241725092cb1b347e6/src/librustc/infer/outlives/bounds.rs#L83">the output from this call</a></p>



<a name="129876411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876411">(Jul 18 2018 at 14:54)</a>:</h4>
<p>I can just use commas to have more than one module with RUST_LOG right ?</p>



<a name="129876447"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876447" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876447">(Jul 18 2018 at 14:55)</a>:</h4>
<p>yes</p>



<a name="129876455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876455">(Jul 18 2018 at 14:55)</a>:</h4>
<p>I should add that to the rustc-guide</p>



<a name="129876579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876579">(Jul 18 2018 at 14:57)</a>:</h4>
<p><a href="https://gist.github.com/lqd/a44290e6e898ad8740b41c3515de06b9" target="_blank" title="https://gist.github.com/lqd/a44290e6e898ad8740b41c3515de06b9">https://gist.github.com/lqd/a44290e6e898ad8740b41c3515de06b9</a></p>



<a name="129876780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876780">(Jul 18 2018 at 15:00)</a>:</h4>
<p>is it me or the outlives::bounds logs don't tell us much rn ?</p>



<a name="129876790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876790">(Jul 18 2018 at 15:00)</a>:</h4>
<p>yeah there aren't many <code>debug!</code></p>



<a name="129876796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876796">(Jul 18 2018 at 15:00)</a>:</h4>
<p>next step might be to add some :)</p>



<a name="129876800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876800">(Jul 18 2018 at 15:00)</a>:</h4>
<p>I can add them yeah</p>



<a name="129876829"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876829" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876829">(Jul 18 2018 at 15:01)</a>:</h4>
<p>still, I think I see the problem</p>



<a name="129876839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876839">(Jul 18 2018 at 15:01)</a>:</h4>
<p>interesting problem</p>



<a name="129876844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876844">(Jul 18 2018 at 15:01)</a>:</h4>
<p>I wonder if tmandry's PR will help here actually</p>



<a name="129876847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876847">(Jul 18 2018 at 15:01)</a>:</h4>
<p>so I think what is happening is that:</p>



<a name="129876854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876854">(Jul 18 2018 at 15:01)</a>:</h4>
<p>we normalize <code>&amp;'_#2r mut &lt;Drain&lt;'_#1r, T&gt; as Join&gt;::Value</code></p>



<a name="129876860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876860">(Jul 18 2018 at 15:01)</a>:</h4>
<p>in so doing, we create a result <code>&amp;'4 Option&lt;T&gt;</code> or something</p>



<a name="129876863"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876863" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876863">(Jul 18 2018 at 15:01)</a>:</h4>
<p>this <code>'4</code> is a new variable that we created</p>



<a name="129876900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876900">(Jul 18 2018 at 15:02)</a>:</h4>
<p>it is equated with <code>'1</code></p>



<a name="129876909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876909">(Jul 18 2018 at 15:02)</a>:</h4>
<p>but the universal regions code doesn't recognize that</p>



<a name="129876911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876911">(Jul 18 2018 at 15:02)</a>:</h4>
<p>tmandry's PR pulled some of this logic into a query</p>



<a name="129876912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876912">(Jul 18 2018 at 15:02)</a>:</h4>
<p>oh</p>



<a name="129876917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876917">(Jul 18 2018 at 15:02)</a>:</h4>
<p>which might mean that we get back a more "normalized" result</p>



<a name="129876919"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876919" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876919">(Jul 18 2018 at 15:02)</a>:</h4>
<p>let me take a look at its current status</p>



<a name="129876927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876927">(Jul 18 2018 at 15:02)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116883">@Tyler Mandry</span> -- but I think they are on vacation</p>



<a name="129876937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876937">(Jul 18 2018 at 15:02)</a>:</h4>
<p>the PR is <a href="https://github.com/rust-lang/rust/pull/51959" target="_blank" title="https://github.com/rust-lang/rust/pull/51959">https://github.com/rust-lang/rust/pull/51959</a></p>



<a name="129876943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876943">(Jul 18 2018 at 15:03)</a>:</h4>
<p>yeah, needs rebase</p>



<a name="129876950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876950">(Jul 18 2018 at 15:03)</a>:</h4>
<p>I think I'll try to take it over... I'll ping them on discord though</p>



<a name="129876957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129876957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129876957">(Jul 18 2018 at 15:03)</a>:</h4>
<p>unlucky</p>



<a name="129877114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877114">(Jul 18 2018 at 15:06)</a>:</h4>
<p>indeed I do not get an ICE with their branch</p>



<a name="129877121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877121">(Jul 18 2018 at 15:06)</a>:</h4>
<p>it doesn't ICE</p>



<a name="129877122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877122">(Jul 18 2018 at 15:06)</a>:</h4>
<p>it's just an error</p>



<a name="129877134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877134">(Jul 18 2018 at 15:07)</a>:</h4>
<p>er, yes, well, it compiles successfully anyway</p>



<a name="129877140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877140">(Jul 18 2018 at 15:07)</a>:</h4>
<p>oh ok then :)</p>



<a name="129877142"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877142" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877142">(Jul 18 2018 at 15:07)</a>:</h4>
<p>we could investigate another bug :)</p>



<a name="129877146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877146">(Jul 18 2018 at 15:07)</a>:</h4>
<p>that's awesome to hear</p>



<a name="129877149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877149">(Jul 18 2018 at 15:07)</a>:</h4>
<p>as I feel there's been a lot of those similar errors in the crater run</p>



<a name="129877154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877154">(Jul 18 2018 at 15:07)</a>:</h4>
<p>ah, cool</p>



<a name="129877160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877160">(Jul 18 2018 at 15:07)</a>:</h4>
<p>I'm going to try and rebase the PR against master then</p>



<a name="129877204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877204">(Jul 18 2018 at 15:08)</a>:</h4>
<p>there was one ICE we talked about yesterday which we could look at</p>



<a name="129877218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877218">(Jul 18 2018 at 15:08)</a>:</h4>
<p>yes which was that...</p>



<a name="129877219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877219">(Jul 18 2018 at 15:08)</a>:</h4>
<p>it was <a href="https://github.com/rust-lang/rust/issues/52384" target="_blank" title="https://github.com/rust-lang/rust/issues/52384">#52384</a></p>



<a name="129877236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877236">(Jul 18 2018 at 15:09)</a>:</h4>
<p>(I have to step away for 10-15mins though sorry)</p>



<a name="129877248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877248">(Jul 18 2018 at 15:09)</a>:</h4>
<p>brb</p>



<a name="129877418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877418">(Jul 18 2018 at 15:12)</a>:</h4>
<p>no worries. I'll do some rebasing. I actually may have to run an errand too</p>



<a name="129877422"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129877422" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129877422">(Jul 18 2018 at 15:12)</a>:</h4>
<p>greek stores have kind of wacky hours that must be respected :)</p>



<a name="129879868"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129879868" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129879868">(Jul 18 2018 at 15:55)</a>:</h4>
<p>(I'm back btw, and have a couple hours of free time :)</p>



<a name="129889906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds/near/129889906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/issue-52078-implied-bounds.html#129889906">(Jul 18 2018 at 18:57)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> whoops, sorry</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>